maximum of (1-cosx)/(1+2*(tanx)^2) with 0 <= x <= pi/2